A new well-formedness criterion for semantics debugging

نویسندگان

  • Dan Flickinger
  • Alexander Koller
  • Stefan Thater
چکیده

We present a novel well-formedness condition for underspecified semantic representations which requires that every correct MRS representation must be a net. We apply this condition to identify a set of eleven rules in the English Resource Grammar (ERG) with bugs in their semantics component, and thus demonstrate that the net test is useful in grammar debugging. In addition, we show that a partly corrected ERG derives 3 % less non-nets on the Rondane treebank and we expect that after completing the correction of the ERG, only 5.5 % non-nets are derived, which we take as support for our initial hypothesis.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Preference Semantics, III-Formedness, and Metaphor

This paper is about the relationships between Preference Semantics (PS) and illformedness , and between Preference Semantics and metaphor. Two types of "preference", declarative and procedural, are distinguished. The PS framework is examined with respect to notions of welland il l-formedness, and two criteria for i l l -formedness are distinguished, both of which are possessed by PS: an absolut...

متن کامل

More Heads and Less Categories: A New Look at Noun Phrase Structure

Much literature in syntax has assumed that all noun phrases are categorically headed by the determiner or the noun, with well-formedness categorial in nature. In this paper I develop a theory of noun phrase structure in which both categories project noun phrases, arguing that this better fits the indeterminacy of the criteria often cited for determining headedness (Zwicky, 1985, inter alia). Th...

متن کامل

Timed Operational Semantics and Well-Formedness of Shape Calculus

The Shape Calculus is a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are speci ed with a timed CCS-like process algebra using a notion of channel that models naturally binding sites on the surface of shapes. In this paper, the full formal timed operational semantics of the calculus is provided, together w...

متن کامل

Formalization of Well-formedness Rules for Uml Use Case Diagram

Unified Modeling Language (UML) is a modeling language for specifying, constructing and documenting the artifacts of the systems. Similar to programming language such as C++ and Java, UML also consists of syntax and semantics. The UML syntax is the graphical notations to draw the UML diagrams and the semantics is the meaning of the notations. The semantics is grouped into two, static or well-fo...

متن کامل

Debugging by Diagnosing Assumptions

We present a novel and uniform technique for normal logic program declarative error diagnosis. We lay down the foundations on a general approach to diagnosis using logic programming, and bring out the close relationship between debugging and fault{{nding. Diagnostic debugging can be enacted by contradiction removal methods. It relies on a simple program transformation to provide a contradiction...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005